Nuprl Definition : eqof 11,40
eqof(d) == d.1 
latex

Definitionst.1
FDL editor aliaseseqof

origin